label: Redraw when text attrs are affected by css change
authorTimm Bäder <mail@baedert.org>
Tue, 14 Apr 2020 13:22:52 +0000 (15:22 +0200)
committerTimm Bäder <mail@baedert.org>
Fri, 17 Apr 2020 13:21:00 +0000 (15:21 +0200)
commit5d61abd7481fefd196aac1a54e484a36efdf7640
tree3039202f59081d54c938963f1e8dba5d4e770b58
parent9f6ec5b7d4cde4895c37585a220c25de6b05c909
label: Redraw when text attrs are affected by css change

GtkWidget doesn't do it automatically and probably shouldn't
gtk/gtklabel.c